symbolic inference

【人工智能】符号推理